5

An improved time-space lower bound for tautologies

Year:
2011
Language:
english
File:
PDF, 507 KB
english, 2011
21

An iron loss model for electrical machines using the Preisach theory

Year:
1997
Language:
english
File:
PDF, 299 KB
english, 1997
30

Holographic Proofs and Derandomization

Year:
2005
Language:
english
File:
PDF, 316 KB
english, 2005
34

Improved Thermal Modelling of Magnetic Components for Power Electronics

Year:
2002
Language:
english
File:
PDF, 385 KB
english, 2002
46

Hard Sets Are Hard to Find

Year:
1999
Language:
english
File:
PDF, 195 KB
english, 1999
47

Block orthogonal systems for symmetric P-forms

Year:
1993
Language:
english
File:
PDF, 798 KB
english, 1993
50

A time lower bound for satisfiability

Year:
2005
Language:
english
File:
PDF, 208 KB
english, 2005